計算可能性 (computability)
計算可能関数 - Wikipedia
チャーチ=チューリングのテーゼ - Wikipedia
チューリング完全 - Wikipedia
帰納的可算集合 - Wikipedia
Curry-Howard-Lambec 對應
カリー=ハワード同型対応 - Wikipedia
計算可能性理論 - Wikipedia
再帰理論 - Wikipedia
計算モデル - Wikipedia
帰納言語 - Wikipedia
R (計算複雑性理論) - Wikipedia
帰納的可算言語 - Wikipedia
RE (計算複雑性理論) - Wikipedia
(recursively enumerable)
計算可能性 (computability)
に就いての論理
Logics for computability - Wikipedia
計算可能性論理 (CoL)
計算論理
Computational logic - Wikipedia
ではない。これは論理を計算する事を硏究する
體系の全ての定理が
計算可能性 (computability)
な證明を持つ事を
決定可能性 (decidability)
と呼ぶ
実現可能性 (論理学) - Wikipedia
これは表現ってやつでは???